mine worker - German English Dictionary